REF, NoConds
ExRepD == ExRepD 

latex

Up	Tactics as terms
FDL editor aliases	-exr